Listar por tema "Lógica de reescritura"
Mostrando ítems 1-2 de 2
-
Una semántica ejecutable en lógica de reescritura para programación espacial concurrente por restricciones (SCCP)
(Ingeniería de Sistemas, 2017)This document presents an executable semantics in rewrite logic for Concurrent Spatial Constraint Programming, abbreviated SCCP. SCCP is a computational model used to reason about spatial information and knowledge distributed ... -
Una semántica formal para Apache Spark en lógica de reescritura
(Escuela Colombiana de Ingeniería Julio GaravitoMatemáticas, 2018)This document presents an executable semantics for Apache Spark in rewrite logic. Apache Spark is a work environment open source designed for data processing that provides an application programming interface for the ...